10

The compression structure of a process

Année:
2005
Langue:
english
Fichier:
PDF, 91 KB
english, 2005
11

Goto elimination in program algebra

Année:
2008
Langue:
english
Fichier:
PDF, 1.48 MB
english, 2008
12

Deciding orthogonal bisimulation

Année:
2007
Langue:
english
Fichier:
PDF, 245 KB
english, 2007
13

Structural operational semantics and bounded nondeterminism

Année:
2003
Langue:
english
Fichier:
PDF, 181 KB
english, 2003
15

Denotational semantics for thread algebra

Année:
2008
Langue:
english
Fichier:
PDF, 236 KB
english, 2008
50

Preparation and characterization of CdS coated multiwalled carbon nanotubes

Année:
2017
Langue:
english
Fichier:
PDF, 750 KB
english, 2017